% Ejercicio "Expresiones aritméticas"
\subsection*{\fbox{\theejercicio} - Expresiones aritm\'eticas}

Sea la siguiente gram\'atica atribuida para la construcci\'on de \'arboles sint\'acticos asociados a expresiones aritm\'eticas compuestas por el operador `+', y con identificadores y n\'umeros como operandos:

\begin{center}
\begin{tabular}{|lcll|} \hline
        &               &                         &                                                      \\
{\em E} & $\rightarrow$ & {\em T R}               & $\{\ R.a = T.p;\ E.p = R.b\ \}$                      \\
{\em R} & $\rightarrow$ & {\bf +} {\em T R$_1$}   & $\{\ R_1.a = haznodo(+, R.a, T.p);\ R.b = R_1.b\ \}$ \\
{\em R} & $\rightarrow$ & $\varepsilon$           & $\{\ R.b = R.a\ \}$                                  \\
{\em T} & $\rightarrow$ & {\bf (} {\em E} {\bf )} & $\{\ T.p = E.p\ \}$                                  \\
{\em T} & $\rightarrow$ & {\bf ID}                & $\{\ T.p = hazhoja(ID, ID.ptr)\ \}$                  \\
{\em T} & $\rightarrow$ & {\bf NUM}               & $\{\ T.p = hazhoja(NUM, NUM.valor)\ \}$              \\
        &               &                         &                                                      \\ \hline
\end{tabular}
\end{center}

\begin{enumerate}[1)]
\item ?`De qu\'e tipo son los atributos (sintetizados, heredados o de ninguno de los dos)?
\item Raz\'onese si esta gram\'atica es o no L-atribuida.
\item Si es posible, constr\'uyase un esquema de traducci\'on bien definido.
\item ?`Cu\'al es la secuencia de reglas sem\'anticas del esquema de traducci\'on anterior que se ejecutar\'a en el reconocimiento descendente sin retroceso de la cadena {\bf ID + NUM}?
\end{enumerate}

% Solución del ejercicio
\subsubsection*{SOLUCI\'ON}
